Hardware Implementation and Side-Channel Analysis of Lapin Lubos Gaspar1 , Ga¨etan Leurent1,2 , and Fran¸cois-Xavier Standaert1 1 ICTEAM/ELEN/Crypto Group, Universit´e catholique de Louvain, Belgium.

Source URL: who.rocq.inria.fr

• Mathematics
• Multiplication
• Multiplication algorithm
• Advanced Encryption Standard
• Polynomial
• Abstract algebra
• Polynomials
• Error detection and correction
• Finite fields

Do Cascades Recur? Justin Cheng1 , Lada A Adamic2 , Jon Kleinberg3 , Jure Leskovec4 1,4 1,4 Stanford University, 2 Facebook, 3 Cornell University

Source URL: gdac.uqam.ca

PRÊT A CHANTER: THE RULES §1 No speaking. Only vocalisations other than speaking are allowed——————§2 The number TWO is not allowed—————— §3 In this opera, speaking is considered

Source URL: odrathek.org

• Music
• Human voice
• Extended techniques
• Multiphonic
• Lore Lixenberg
• Overtone
• Yodeling

Bulletproofs: Short Proofs for Confidential Transactions and More Benedikt B¨ unz∗1 , Jonathan Bootle†2 , Dan Boneh‡1 , Andrew Poelstra§3 , Pieter Wuille¶3 , and Greg Maxwellk 1

Source URL: web.stanford.edu

• Cryptography
• Cryptocurrencies
• Alternative currencies
• Bitcoin
• Decentralization
• Cryptographic protocols
• Non-interactive zero-knowledge proof
• Zero-knowledge proof
• Proof of knowledge
• NP
• Soundness
• IP

Combining Tools for Optimization and Analysis of Floating-Point Computations Heiko Becker1 , Pavel Panchekha2 , Eva Darulova1 , and Zachary Tatlock2 1 2

Source URL: homes.cs.washington.edu

• Numerical analysis
• Mathematics
• Applied mathematics
• Computing
• Error analysis
• Interval arithmetic
• Round-off error
• Program optimization
• Infinite loop
• Algorithm

Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. Spatial Calculus of Looping Sequences 1 Roberto Barbuti,2 Andrea Maggiolo

Source URL: pages.di.unipi.it

• Theoretical computer science
• Computer programming
• Declarative programming
• Logic in computer science
• Formal languages
• Brane
• Quantum field theory
• String theory
• Rewriting
• Monad
• Substitution

Multi-Objective Model Checking of Markov Decision Processes K. Etessami1 , M. Kwiatkowska2, M. Y. Vardi3 , and M. Yannakakis4 1 2

Source URL: qav.comlab.ox.ac.uk

• Experiment
• Mathematical analysis
• Multi-objective optimization
• Markov decision process
• Probability space
• Event
• Analysis
• Probability and statistics
• Holomorphic functional calculus

V´erification de programmes C concurrents avec Cubicle : Enfoncer les barri`eres Sylvain Conchon1,2 & David Declerck1 & Luc Maranget3 & Alain Mebsout1,2 1: Universit´e Paris Sud, CNRS, FOrsay ˆ 2: INRIA Saclay

Source URL: cubicle.lri.fr

Testing a Saturation-Based Theorem Prover: Experiences and Challenges Giles Reger1 , Martin Suda2 , and Andrei Voronkov1,2 1 School of Computer Science, University of Manchester, UK

Source URL: www.cs.man.ac.uk

• Theoretical computer science
• Formal methods
• Mathematical logic
• School of Computer Science
• University of Manchester
• Mathematics
• Logic in computer science
• Automated theorem proving
• Formal verification
• SPASS
• Andrei Voronkov
• Vampire
• First-order logic